منابع مشابه
Ticket Entailment is decidable
We prove the decidability of the logic T→ of Ticket Entailment. Raised by Anderson and Belnap within the framework of relevance logic, this question is equivalent to the question of the decidability of type inhabitation in simply-typed combinatory logic with the partial basis BBIW. We solve the equivalent problem of type inhabitation for the restriction of simply-typed lambda-calculus to heredi...
متن کاملStatus QIO: Conjunctive Query Entailment Is Decidable
Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the standard query language in databases, have recently gained significant attention for querying DL knowledge bases. Several different techniques are available for a wide range of DLs. Nevertheless, for OWL 1 DL and OWL 2 DL, ...
متن کاملSROIQsigma is decidable
Description Logics [1] are logical formalisms for representing information about classes and objects. They are very often used as the basis of knowledge representation systems and have been used recently to develop OWL semantic web language, which can be viewed as an expressive Description Logic. There is an impressive variety of Description Logics with diverse expressiveness and complexity, or...
متن کاملUnary PCF is Decidable
We show that unary PCF, a very small fragment of Plotkin’s PCF [?], has a decidable observational pre-order, and that its fully abstract model is effectively presentable. This is in marked contrast to larger fragments, where corresponding results fail [?]. The techniques used are adaptions of those of Padovani [?], who applied them to the minimal model of the simply typed lambda calculus.
متن کاملMarked PCP is decidable
We show that the marked version of the Post Correspondence Problem, where the words on a list are required to diier in the rst letter, is decidable. On the other hand, we prove that PCP remains undecidable if we only require the words to diier in the rst two letters. Thus we locate the decidability/undecidability-boundary between marked and 2-marked PCP.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2012
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129512000412